Software bug - PDFSEARCH.IO - Document Search Engine

Software bug
Results: 2336

#	Item
141	SYSTEMS SECURITY Editors: Patrick McDaniel, \| Sean W. Smith, Beyond Planted Bugs in “Trusting Trust” The Input-Processing Frontier Sergey Bratus, Trey Darley, Michael Locasto Add to Reading List Source URL: langsec.org Language: English - Date: 2014-04-02 21:43:44 Computability theory Theory of computation Models of computation Turing machine Markup languages Parsing Halting problem Software bug Programming language Theoretical computer science Computer science Computing
142	A Software Flaw Taxonomy: Aiming Tools At Security Sam Weber Paul A. Karger Amit Paradkar (samweber\|karger\|paradkar)@watson.ibm.com IBM Research Division Add to Reading List Source URL: cwe.mitre.org Language: English - Date: 2006-09-13 14:57:13 Computer network security Software testing National security Secure communication Vulnerability Application security Software bug Threat Cross-site scripting Cyberwarfare Computer security Security
143	Security Analysis of the Diebold AccuBasic Interpreter David Wagner David Jefferson Matt Bishop Voting Systems Technology Assessment Advisory Board (VSTAAB) with the assistance of: Add to Reading List Source URL: naveen.ksastry.com Language: English - Date: 2013-06-08 15:25:46 Computing Software engineering Information society Interpreter Harri Hursti Voter-verified paper audit trail Software bug Pointer Hursti Hack Electronic voting Election fraud Politics
144	Random Testing for Higher-Order, Stateful Programs Casey Klein Matthew Flatt Robert Bruce Findler Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2010-10-22 15:24:50 Object-oriented programming Source code Software testing Software bug Stack Algorithm Subroutine Class Statistical hypothesis testing Software engineering Computer programming Computing
145	Microcontroller Technical Information ID78K0-QB 78K0 Integrated Debugger Document No. Add to Reading List Source URL: tool-support.renesas.com Language: English - Date: 2014-01-13 21:14:02 Debuggers Breakpoint Software bug Program animation Debugging Computing Software engineering
146	ColorSafe: Architectural Support for Debugging and Dynamically Avoiding Multi-variable Atomicity Violations Brandon Lucia† Luis Ceze† Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2010-04-14 00:55:31 Concurrency control Data management Memory management Debugging Software bug C dynamic memory allocation Pointer CPU cache MySQL Computing Data Transaction processing
147	JOB DESCRIPTION Position: Test Engineer Area: Software Test Engineer Reports to: Engineering Manager - QA Add to Reading List Source URL: www.netelixir.com Language: English - Date: 2014-03-17 10:45:04 Acceptance testing Test automation Software bug Manual testing Selenium Game testing STLC Software testing Software quality Quality assurance
148	Monitoring and Debugging the Quality of Results in Approximate Programs Michael Ringenburg Adrian Sampson University of Washington {miker,asampson}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-01-14 16:50:41 Software engineering Quality of results Debugging Profiling Software bug Algorithm Lookup table Memoization Exception handling Computing Computer programming Software optimization
149	Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments Brandon Lucia Benjamin P. Wood Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2011-05-12 02:41:19 Data Databases Transaction processing Compiler construction Software bug Lock Adjacency list Static single assignment form Serializability Concurrency control Computing Data management

UPDATE